Team:CARTE

Team Carte

Personnel

Overall Objectives

Research Program

Computer Virology
Computation over continuous structures
Rewriting

Application Domains

Continuous computation theories
Analysis and verification of adversary systems

Highlights of the Year

New Software and Platforms

Software

New Results

Quantum Computing
Cellular automata as a model of computation
Extension of computable functions
Genericity of weakly computable objects

Bilateral Contracts and Grants with Industry

Bilateral Grants with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2017 | Presentation of the Team CARTE | CARTE Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: New Software and Platforms

Software

FiatLux

FiatLux is a simulation program for cellular automata developed by Nazim Fatès. The project is currently available at the Inria GForge. It is under the CeCILL license.

Previous |

Home | Next next